Annotated logics were introduced by V.S. Subrahmanian as logical foundations for computer programming. One of the difficulties of these systems from the logical point of view is that they are not structural, i.e., their consequence relations are not closed under substitutions. In this paper we give systems of annotated logics that are equivalent to those of Subrahmanian in the sense that everything provable in one type of system has a translation that is provable in the other. Moreover these new systems (...) are structural. We prove that these systems are weakly congruential, namely, they have an infinite system of congruence 1-formulas. Moreover, we prove that an annotated logic is algebraizable (i.e., it has a finite system of congruence formulas,) if and only if the lattice of annotation constants is finite. (shrink)

We study the matrices, reduced matrices and algebras associated to the systems SAT of structural annotated logics. In previous papers, these systems were proven algebraizable in the finitary case and the class of matrices analyzed here was proven to be a matrix semantics for them.We prove that the equivalent algebraic semantics associated with the systems SAT are proper quasivarieties, we describe the reduced matrices, the subdirectly irreducible algebras and we give a general decomposition theorem. As a consequence we obtain a (...) decision procedure for these logics. (shrink)

In Lewin et al. 359–386) the authors proved that certain systems of annotated logics are algebraizable in the sense of Block and Rigozzi 396). Later in Lewin et al. the study of the associated quasi-varieties of annotated algebras is initiated. In this paper we continue the study of the these classes of algebras, in particular, we report some recent results about the free annotated algebras.

This paper revisits the main thoughts of the Filipino historian and social critic Renato Constantino on the role of education in the formation of a neocolonial and postcolonial consciousness. It suggests that Constantino’s critical stance towards education embodies a type of philosophizing about education that centers on the problematization of the language of instruction, on the rendering of voice to those in the margins of Philippine society, and on taking a critical stance about education itself. It suggests further that this (...) form of philosophizing about education and its instrumentalities is prospective of a Freirean liberating pedagogy that is inherently nonneutral, critical, dialogical, praxical, and transformative. (shrink)

Decaying wood, while an abundant and stable resource, presents considerable nutritional challenges due to its structural rigidity, chemical recalcitrance, and low nitrogen content. Despite these challenges, certain insect lineages have successfully evolved saproxylophagy (consuming and deriving sustenance from decaying wood), impacting nutrient recycling in ecosystems and carbon sequestration dynamics. This study explores the uneven phylogenetic distribution of saproxylophagy across insects and delves into the evolutionary origins of this trait in disparate insect orders. Employing a comprehensive analysis of gut microbiome data, (...) from both saproxylophagous insects and their non‐saproxylophagous relatives, including new data from unexplored wood‐feeding insects, this Hypothesis paper discusses the broader phylogenetic context and potential adaptations necessary for this dietary specialization. The study proposes the “Detritivore‐First Hypothesis,” suggesting an evolutionary pathway to saproxylophagy through detritivory, and highlights the critical role of symbiotic gut microbiomes in the digestion of decaying wood. (shrink)

Neural substrates of fatigue in traumatic brain injury are not well understood despite the considerable burden of fatigue on return to productivity. Fatigue is associated with diminishing performance under conditions of high cognitive demand, sense of effort, or need for motivation, all of which are associated with cognitive control brain network integrity. We hypothesize that the pathophysiology of TBI results in damage to diffuse cognitive control networks, disrupting coordination of moment-to-moment monitoring, prediction, and regulation of behavior. We investigate the cingulo-opercular (...) and frontoparietal networks, which are engaged to sustain attention for task and maintain performance. A total of 61 individuals with mild TBI and 42 orthopedic control subjects participated in functional MRI during performance of a constant effort task requiring altering the amount of effort utilized to manually squeeze a pneumostatic bulb across six 30-s trials. Network-based statistics assessed within-network organization and fluctuation with task manipulations by group. Results demonstrate small group differences in network organization, but considerable group differences in the evolution of task-related modulation of connectivity. The mild TBI group demonstrated elevated CO connectivity throughout the task with little variation in effort level or time on task, while CO connectivity diminished over time in controls. Several interregional CO connections were predictive of fatigue in the TBI group. In contrast, FP connectivity fluctuated with task manipulations and predicted fatigue in the controls, but connectivity fluctuations were delayed in the mild traumatic brain injury group and did not relate to fatigue. Thus, the mTBI group’s hyper-connectivity of the CO irrespective of task demands, along with hypo-connectivity and delayed peak connectivity of the FP, may allow for attainment of task goals, but also contributes to fatigue. Findings are discussed in relation to performance monitoring of prediction error that relies on internal cues from sensorimotor feedback during task performance. Delay or inability to detect and respond to prediction errors in TBI, particularly evident in bilateral insula-temporal CO connectivity, corresponds to day-to-day fatigue and fatigue during task performance. (shrink)

F. Brentano. Franz Brentano ARISTOTELES LEHRE VOM URSPRUNG DES_ MENSOHLIOI-IEN GEISTES VON FRANZ BREN'I'ANO. Aristoteles Lehre vom Ursprung des menschlichen Geistes. Front Cover.

H. 46 und H 47: >Geschichte der Philosophie mit älteren, von Brentano ausgeschiedenen Blättern. ... Vorlesung über >Geschichte der mittelalterlichen Philosophie im christlichen Abendland< nicht mehr angekündigt worden. ' Die von F.

Obwohl der Gewissenbegriff im Bewusstsein der meisten Medizinethiker durch den Strukturwandel im Gesundheitswesen in den letzten Jahrzehnten erheblich an Bedeutung verloren hat, bahnt sich im Zuge der fortschreitenden Pluralisierung des Wertempfindens in modernen Gesellschaften (nicht zuletzt durch das Wiedererstarken religi s-weltanschaulicher Positionen) eine erneute Diskussion um den Gewissensvorbehalt bei der Erbringung medizinischer Leistungen an. Der vorliegende Band n hert sich der Gewissenthematik bewusst aus interdisziplin rer Perspektive, um die verschiedenen Dimensionen einer Gewissenentscheidung auszuleuchten und die Folgen der fortschreitenden Verrechtlichung und (...) konomisierung f r die Gewissensfreiheit der verschiedenen im Gesundheitswesen t tigen Berufsgruppen kritisch zu reflektieren. (shrink)

Geschichte als Wissenschaft, di F. Hampl.--Deutsche Geschichtsdenker unserer Zeit in kritischer Sicht, di F. Hampl.--Kritische Behandlung mittelalterlicher Texte, di K. Pivec.

In spite of the analogies between Q p and F p ((t)) which became evident through the work of Ax and Kochen, an adaptation of the complete recursive axiom system given by them for Q p to the case of F p ((t)) does not render a complete axiom system. We show the independence of elementary properties which express the action of additive polynomials as maps on F p ((t)). We formulate an elementary property expressing this action and show that (...) it holds for all maximal valued fields. We also derive an example of a rather simple immediate valued function field over a henselian defectless ground field which is not a henselian rational function field. This example is of special interest in connection with the open problem of local uniformization in positive characteristic. (shrink)

Inhalt: Vorwort - F. Chiereghin: Das griechische Erbe in Hegels Anthropologie - N. Waszek: Descartes und die 'Subjektivitatsphilosophie' in der Sicht Hegels - R. Brandt: Beobachtungen zur Anthropologie bei Kant (und Hegel) - E. Dusing: Zum Verhaltnis von Intelligenz und Wille bei Fichte und Hegel - M. Bienenstock: Der Wille bei Rousseau und beim Jenaer Hegel. Zur Entstehung von Hegels Philosophie des subjektiven Geistes - U. Rameil: Bewusstseinsstruktur und Vernunft - M. Wolff: Eine Skizze zur Auflosung des Leib-Seele-Problems. Analytischer Kommentar (...) zu 389 der Enzyklopadie (1830) - M. J. Petry: Systematik und Pragmatik in Hegels Behandlung von animalischem Magnetismus und Verrucktheit - H.-Ch. Lucas: Die 'souverane Undankbarkeit' des Geistes gegenuber der Natur. Logische Bestimmungen, Leiblichkeit, animalischer Magnetismus und Verrucktheit in Hegels Anthropologie - K. Dusing: Hegels Theorie der Einbildungskraft - H. F. Fulda: Vom Gedachtnis zum Denken - A. Th. Peperzak: Hegel uber Wille und Affektivitat. Ein Kommentar zu Enz. 387-392; 468-474; 468-473 - G. Severino: Subjekt und Freiheit in Hegels Denken - J. O'Malley: Die Wurzeln der Freiheit als politische Gesinnung im subjektiven Geist - L. Eley: Anmerkungen zu den drei Hauptformen des subjektiven Geistes - M. Bykowa: Einige Gedanken zum Geheimnis der Subjektivitat bei Hegel - F. Hespe: System und Funktion der Philosophie des subjektiven Geistes - B. Tuschling: Die Idee in Hegels Philosophie des subjektiven Geistes - Literatur- und Personenverzeichnis. (shrink)

Buku relatif kecil F. Budi Hardiman, dosen di Sekolah Tinggi Filsafat Driyarkarta, di Jakarta, ini merupakan sumbangan penting bagi pustaka berbahasa Indonesia tentang hak-hak asasi manusia. Bahkan, setahu peninjau buku ini, cara penulis mendekati hal hak-hak asasi manusia dalam pustaka berbahasa Jerman dan Inggris pun masih dicari. Kekhasan buku ini adalah bahwa Budi Hardiman membahas hak-hak asasi manusia dengan mendiskusikan enam kontroversi paling utama di sekitarnya, yaitu (1) kritik Hannah Arendt terhadap klaim universalitas hak-hak asasi manusia dari sudut republikanisme; (2) (...) polemik dari sudut teologi Islam; (3) tantangan dari sudut multikulturalisme; (4) hak-hak asasi manusia berhadapan dengan nilai-nilai Asia; (5) tuntutan agar deklarasi hak-hak asasi manusia dilengkapi oleh daftar kewajiban-kewajiban asasi; dan (6) pertanyaan mengapa dalam budaya-budaya Indonesia “peradaban hak-hak asasi manusia sulit terwujud.” Diskursus ini bukan hanya memiliki relevansi teoretis tinggi, tetapi juga langsung relevan di Indonesia. Budi Hardiman bertolak dari tesis “bahwa ide, motif atau pun intensi dasar yg mendorong praksis hak-hak asasi manusia adalah ’tuntutan universal’ untuk melindungi manusia dari pengalaman-pengalaman negatif dalam modernitas” (hlm. 18). Tesis ini langsung mengoreksi sebuah salah paham serius yang juga merancukan debat dalam BPUPKI pada Juli 1945: Bahwa hak-hak asasi manusia merupakan produk khas liberalisme untuk mengamankan kebebasan maksimal individu terhadap komunitas; jadi bahwa hak-hak asasi manusia merupakan wahana individualisme dan ekspresi sikap egois di mana individu seakan-akan hanya mau menjamin hak-haknya sendiri. Tetapi bukan itulah maksud inti hak-hak asasi manusia. Hak-hak asasi manusia merupakan jawaban terhadap kondisi terancam dan terhina manusia berhadapan dengan kekuatan-kekuatan raksasa modernitas. Hak-hak asasi manusia mau menjamin keutuhan mereka yang tidak berdaya untuk membela diri sendiri. Karena itu, pengakuan terhadap hak-hak asasi manusia menjadi bukti dan tolok ukur tanggung jawab sosial dalam suatu masyarakat................. Faktor kelima adalah agama. Agama sebenarnya memiliki “intuisi kemanusian yang melampaui suku-suku dan bangsa” (hlm. 141), akan tetapi agama bisa juga membatasi intuisi itu pada warganya sendiri. Maka unsur kunci dalam tantangan hak-hak asasi manusia bagi teologi Islam yang dibahas dalam bab 2 adalah perluasan dari perspektif yang terbatas pada umatnya sendiri ke perspektif “manusia qua manusia” (hlm. 54). Makin wawasan dibatasi pada syariah, loncatan itu kelihatan sulit. Tetapi loncatan itu harus berani dilakukan agar kesulitan Islami dengan beberapa hak asasi manusia, misalnya hak pergantian agama atau larangan terhadap hukuman kejam, dapat diatasi. Tantangan multikulturalisme: menjadi pertanyaan bagaimana kalau terjadi pertentangan antara kekhasan suatu budaya, biasanya budaya minoritas, dengan tuntutan hak asasi manusia dibahas dalam bab 3. Buku Budi Hardiman ini perlu dibaca oleh semua yang prihatin dengan diskursus hak-hak asasi manusia di negara kita yang tetap masih klise dan sering kurang bermutu. Penegasan inti penulis, bahwa tujuan dan fungsi jaminan hak asasi manusia adalah perlindungan bagi mereka yang menderita, miskin dan tereksploitasi harus terus-menerus diangkat. Alih-alih jalan ke egoisme dan individualisme hak-hak asasi manusia merupakan bukti solidaritas suatu masyarakat dengan warga-warganya yang paling lemah. (Franz Magnis-Suseno, Program Pascasarjana, Sekolah Tinggi Filsafat Driyarkara, Jakarta). (shrink)

Hermeneutika adalah ilmu tentang pemahaman. Mengapa pemahaman perlu ada ilmunya? Karena, sebagaimana kita tahu dari pengalaman sehari-hari, kita sering salah paham. Kita mendengar persis apa yang dikatakan orang lain, tetapi kita salah tangkap juga dan terjadi masalah. Hal yang sama berlaku bagi ekspresi-ekspresi manusia lain. Misalnya, ada monumen. Ambil batu-batuan di Stonehenge di Inggris yang diperkirakan sudah berumur ribuan tahun. Tentang maksud tiang-tiang batu itu para ahli tetap masih menerka-nerka. Tetapi seorang penduduk Jakarta, begitu melihat fotonya, langsung merasa tahu apa (...) yang dimaksud oleh orang-orang Inggris kuno itu: Tentu Stonehenge adalah percobaan pertama umat manusia untuk membangun kereta monorail, dan, sama dengan di Jakarta, mereka pun gagal. Mana yang benar? Masalahnya sederhana, tetapi pemecahannya tidak. Yang sederhana: kita semua sudah mempunyai pengertian-pengertian tertentu, misalnya, bahwa tiang batu ke atas merupakan calon tiang kereta mono-rail. Tetapi mereka yang membangunnya di Stonehenge barangkali punya pikiran sama sekali lain. Yang tidak sederhana: bagaimana kita yang sekarang dapat mengerti apa yang dimaksud manusia dengan sebuah monumen, padahal manusia itu sudah lama mati dan tidak dapat ditanyai lagi. Persoalan ini tentu tidak hanya mengenai monumen, melainkan menyangkut bagaimana ungkapan orang lain dapat dipahami sesuai dengan apa yang dia maksud terutama muncul apabila kita membaca sebuah teks. Kita mengira bahwa teks itu sudah jelas maksudnya, tetapi andaikata kita masih bisa bertanya pada penulis apa yang sebenarnya dia maksud dengan menulis teks itu, bisa juga maksudnya berbeda dari pra-anggapan kita.... Buku ini berakhir dengan suatu bab Penutup sepanjang 24 halaman yang merupakan semacam rangkuman. Fokus penutup amat aktual, yaitu masalah literalisme, paham bahwa sebuah teks suci harus dipahami secara harafiah tak boleh ditafsir-tafsir, serta hubungan-nya dengan fundamentalisme, radikalisme, ekstremisme agama, serta mengapa literalisme justru tidak setia terhadap teks yang dikatakan mau diikuti secara harafiah. Buku ini memberikan pengertian yang cukup lengkap, dalam bahasa yang mudah diikuti, kepada filosof pemula, tetapi juga bagi filosof kawakan, buku Budi Hardiman itu bisa sangat membantu. Buku ini terutama sangat penting bagi para teolog, ulama dan ahli Kitab Suci segala agama. (Franz Magnis-Suseno, Guru Besar Ilmu Filsafat Emeritus, Sekolah Tinggi Filsafat Driyarkara, Jakarta). (shrink)